Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
81	Microsoft PowerPoint - Lect12advanced_data.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-10-17 09:39:31 Algebra Mathematics Computing Search algorithms Data types Vectors Hashing Error detection and correction Hash function Association list Abstract data type Hash table
82	417 Doc. Math. J. DMV Calabi-Yau Threefolds of Quasi-Product Type Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-13 07:29:17 Algebraic geometry Geometry Abstract algebra Algebraic surfaces Algebraic varieties String theory Complex manifolds K3 surface Abelian variety Algebraic curve Projective variety Elliptic surface
83	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
84	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
85	Abstract In this white paper, Mobica covers computer vision from the perspective of a software services company. An overview of the type of projects performed by Mobica and some of the lessons learned are provided, foll Add to Reading List Source URL: www.mobica.com Language: English - Date: 2016-06-30 03:17:03 Computing Software Computer architecture Parallel computing Application programming interfaces Cross-platform software GPGPU Graphics libraries OpenVX OpenCL Graphics processing unit OpenCV
86	Diagnosing Error in Object Detectors Derek Hoiem, Yodsawalai Chodpathumwan, and Qieyun Dai ? Department of Computer Science University of Illinois at Urbana-Champaign Abstract. This paper shows how to analyze the influen Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2012-07-31 17:26:00 Statistics Feature detection Interest point detection Sensitivity and specificity Type I and type II errors
87	527 Documenta Math. Semigroup Properties for the Second Fundamental Form Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-08-26 14:51:45 Algebra Abstract algebra Mathematics Operator theory Semigroup theory Semigroup Harmonic analysis Beltrami equation Singular integral operators of convolution type
88	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
89	“THE HOMOTOPY TYPE OF THE COBORDISM CATEGORY” PROPOSAL FOR A SEMINAR PROGRAM WINTERSEMESTERThe main aim of the seminar will be to understand the main theorem in [GMTW07] and its proof. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2007-11-15 04:50:26 Topology Abstract algebra Algebra Algebraic topology Surgery theory Homotopy theory Differential topology Sheaf theory Sheaf Cobordism Differentiable manifold H-cobordism
90	Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 21:38:44 Mathematics Data Computing Cartography Geographic data and information Formal methods Geographic information systems Algebra Abstract data type Spatial analysis Algebraic specification Addition

UPDATE